Real-time operating systems - PDFSEARCH.IO - Document Search Engine

Real-time operating systems
Results: 391

#	Item
211	INDUSTRY ADVICE – STATUS REPORT Add to Reading List Source URL: www.skills.tas.gov.au Language: English - Date: 2014-07-02 02:43:22 Embedded operating systems Tasmania Education in Tasmania Real-time operating systems
212	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
213	seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-09-23 22:58:53 Gernot Heiser L4 microkernel family Formal verification Real-time operating systems Kernel Computer security Integrity Mach Ring Computer architecture Trusted computing base Microkernel
214	Nuremberg, Germany February 24 – 26, 2015 CONFERENCE Add to Reading List Source URL: www.embedded-world.eu Language: English - Date: 2014-12-08 07:42:22 Embedded systems Embedded operating systems Real-time operating systems Internet of Things Integrity Internet Embedded software Software quality Linux Computing Electronics Technology
215	Nios II Software Developer’s Handbook Add to Reading List Source URL: www.marichiba.com Language: English - Date: 2012-02-01 13:06:04 Real-time operating systems Programming language implementation Nios II Nios embedded processor MicroC/OS-II Altera Sopc builder Embedded system GNU Compiler Collection Software Computing Embedded operating systems
216	Market Infrastructure Market Infrastructure To promote Hong Kong as an international ﬁnancial centre, the operating hours of the RTGS systems and the CMU were Add to Reading List Source URL: www.hkma.gov.hk Language: English - Date: 2011-08-10 07:53:06 Finance Real Time Gross Settlement Clearing House Automated Transfer System Securities Foreign exchange market Hong Kong Monetary Authority Bank of China Continuous linked settlement Hong Kong dollar Payment systems Money Currency
217	INDUSTRY ADVICE – STATUS REPORT Add to Reading List Source URL: www.skills.tas.gov.au Language: English - Date: 2014-07-02 02:43:16 Apprenticeship Education Embedded operating systems Real-time operating system
218	Full Retail Contestability Compliance Project Vendor Selection Process and Probity Review Slide 1 Add to Reading List Source URL: www.aer.gov.au Language: English - Date: 2013-12-08 21:36:39 Itron Meter Data Management SAP AG TRON Aurora Technology Software industry Methodology Real-time operating systems Open standards ITRON Project
219	Towards Trustworthy Computing Systems: Taking Microkernels to the Next Level Gernot Heiser∗ Kevin Elphinstone Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:47 Real-time operating systems Computing platforms Embedded operating systems L4 microkernel family Microkernel Monolithic kernels Gernot Heiser Kernel Mach Computer architecture Computing System software
220	NCS-11890_MPC8540_Block_v1 Add to Reading List Source URL: cache.freescale.com Language: English - Date: 2014-09-10 00:35:09 Real-time operating systems Freescale Semiconductor Motorola Power Architecture MQX Freescale ColdFire Multi-touch ARM Cortex-M Computer architecture Embedded operating systems ARM architecture

UPDATE